Constructivism in Mathematics. Vol.1
A S Troelstra and 1 more
Hardback
Not Available
Constructivism in Mathematics
AS Troelstra and 1 more
Paperback
Classical Recursion Theory
Piergiorgio Odifreddi
Logical Frameworks for Truth and Abstraction
Andrea Cantini
Admissibility of Logical Inference Rules
Vladimir V Rybakov
Handbook of Proof Theory
SR Dept of Mathematics and Computer Science and 5 more
Tools and Techniques in Modal Logic
Marcus Kracht
Classical Recursion Theory, Volume II
P University of Turin and 1 more
Handbook of Computability Theory
Edward R Griffor
Computable Structures and the Hyperarithmetical Hierarchy
C J Ash and 1 more
Theory of Relations
R co Le Cheverny 1 and 4 more
Rudiments of [Mu]-Calculus
A Arnold and 1 more
Categorical Logic and Type Theory
B Computing Science Institute and 2 more
Relation Algebras by Games
R Hirsch and 1 more
Many-Dimensional Modal Logics
Dov M Gabbay
Relation Algebras
R D Maddux
Lectures on the Curry-Howard Isomorphism
Morten Heine and 5 more
Residuated Lattices
Nikolas Galatos
Quantification in Nonclassical Logic
Dov M Augustus De Morgan Professor Emeritus of Logic at the Group of Logic and 2 more
![Book Cover for Rudiments of [Mu]-Calculus by A Arnold, Damian NiwiÔnski](http://www.bibdsl.co.uk/bds-images/m/978044/9780444506207.jpg)
